#include <stdio.h>

int main() {
    FILE *fp = fopen("a.txt", "wt");
    char buf[] = "hello world";
    fwrite((void *)buf, 1, 12, fp);


    return 0;
}
